Optimal. Leaf size=214 \[ \frac{3 \log \left (3 x-\sqrt{2 \left (2+\sqrt{13}\right )} \sqrt{3 x+2}+\sqrt{13}+2\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}-\frac{3 \log \left (3 x+\sqrt{2 \left (2+\sqrt{13}\right )} \sqrt{3 x+2}+\sqrt{13}+2\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}-\frac{3 \tan ^{-1}\left (\frac{\sqrt{2 \left (2+\sqrt{13}\right )}-2 \sqrt{3 x+2}}{\sqrt{2 \left (\sqrt{13}-2\right )}}\right )}{\sqrt{2 \left (\sqrt{13}-2\right )}}+\frac{3 \tan ^{-1}\left (\frac{2 \sqrt{3 x+2}+\sqrt{2 \left (2+\sqrt{13}\right )}}{\sqrt{2 \left (\sqrt{13}-2\right )}}\right )}{\sqrt{2 \left (\sqrt{13}-2\right )}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.230092, antiderivative size = 214, normalized size of antiderivative = 1., number of steps used = 10, number of rules used = 7, integrand size = 17, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.412, Rules used = {700, 1127, 1161, 618, 204, 1164, 628} \[ \frac{3 \log \left (3 x-\sqrt{2 \left (2+\sqrt{13}\right )} \sqrt{3 x+2}+\sqrt{13}+2\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}-\frac{3 \log \left (3 x+\sqrt{2 \left (2+\sqrt{13}\right )} \sqrt{3 x+2}+\sqrt{13}+2\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}-\frac{3 \tan ^{-1}\left (\frac{\sqrt{2 \left (2+\sqrt{13}\right )}-2 \sqrt{3 x+2}}{\sqrt{2 \left (\sqrt{13}-2\right )}}\right )}{\sqrt{2 \left (\sqrt{13}-2\right )}}+\frac{3 \tan ^{-1}\left (\frac{2 \sqrt{3 x+2}+\sqrt{2 \left (2+\sqrt{13}\right )}}{\sqrt{2 \left (\sqrt{13}-2\right )}}\right )}{\sqrt{2 \left (\sqrt{13}-2\right )}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 700
Rule 1127
Rule 1161
Rule 618
Rule 204
Rule 1164
Rule 628
Rubi steps
\begin{align*} \int \frac{\sqrt{2+3 x}}{1+x^2} \, dx &=6 \operatorname{Subst}\left (\int \frac{x^2}{13-4 x^2+x^4} \, dx,x,\sqrt{2+3 x}\right )\\ &=-\left (3 \operatorname{Subst}\left (\int \frac{\sqrt{13}-x^2}{13-4 x^2+x^4} \, dx,x,\sqrt{2+3 x}\right )\right )+3 \operatorname{Subst}\left (\int \frac{\sqrt{13}+x^2}{13-4 x^2+x^4} \, dx,x,\sqrt{2+3 x}\right )\\ &=\frac{3}{2} \operatorname{Subst}\left (\int \frac{1}{\sqrt{13}-\sqrt{2 \left (2+\sqrt{13}\right )} x+x^2} \, dx,x,\sqrt{2+3 x}\right )+\frac{3}{2} \operatorname{Subst}\left (\int \frac{1}{\sqrt{13}+\sqrt{2 \left (2+\sqrt{13}\right )} x+x^2} \, dx,x,\sqrt{2+3 x}\right )+\frac{3 \operatorname{Subst}\left (\int \frac{\sqrt{2 \left (2+\sqrt{13}\right )}+2 x}{-\sqrt{13}-\sqrt{2 \left (2+\sqrt{13}\right )} x-x^2} \, dx,x,\sqrt{2+3 x}\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}+\frac{3 \operatorname{Subst}\left (\int \frac{\sqrt{2 \left (2+\sqrt{13}\right )}-2 x}{-\sqrt{13}+\sqrt{2 \left (2+\sqrt{13}\right )} x-x^2} \, dx,x,\sqrt{2+3 x}\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}\\ &=\frac{3 \log \left (2+\sqrt{13}+3 x-\sqrt{2 \left (2+\sqrt{13}\right )} \sqrt{2+3 x}\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}-\frac{3 \log \left (2+\sqrt{13}+3 x+\sqrt{2 \left (2+\sqrt{13}\right )} \sqrt{2+3 x}\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}-3 \operatorname{Subst}\left (\int \frac{1}{2 \left (2-\sqrt{13}\right )-x^2} \, dx,x,-\sqrt{2 \left (2+\sqrt{13}\right )}+2 \sqrt{2+3 x}\right )-3 \operatorname{Subst}\left (\int \frac{1}{2 \left (2-\sqrt{13}\right )-x^2} \, dx,x,\sqrt{2 \left (2+\sqrt{13}\right )}+2 \sqrt{2+3 x}\right )\\ &=-\frac{3 \tan ^{-1}\left (\frac{\sqrt{2 \left (2+\sqrt{13}\right )}-2 \sqrt{2+3 x}}{\sqrt{2 \left (-2+\sqrt{13}\right )}}\right )}{\sqrt{2 \left (-2+\sqrt{13}\right )}}+\frac{3 \tan ^{-1}\left (\frac{\sqrt{2 \left (2+\sqrt{13}\right )}+2 \sqrt{2+3 x}}{\sqrt{2 \left (-2+\sqrt{13}\right )}}\right )}{\sqrt{2 \left (-2+\sqrt{13}\right )}}+\frac{3 \log \left (2+\sqrt{13}+3 x-\sqrt{2 \left (2+\sqrt{13}\right )} \sqrt{2+3 x}\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}-\frac{3 \log \left (2+\sqrt{13}+3 x+\sqrt{2 \left (2+\sqrt{13}\right )} \sqrt{2+3 x}\right )}{2 \sqrt{2 \left (2+\sqrt{13}\right )}}\\ \end{align*}
Mathematica [C] time = 0.0302046, size = 59, normalized size = 0.28 \[ i \sqrt{2+3 i} \tanh ^{-1}\left (\frac{\sqrt{3 x+2}}{\sqrt{2+3 i}}\right )-i \sqrt{2-3 i} \tanh ^{-1}\left (\frac{\sqrt{3 x+2}}{\sqrt{2-3 i}}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.173, size = 360, normalized size = 1.7 \begin{align*} -{\frac{\sqrt{4+2\,\sqrt{13}}}{6}\ln \left ( 2+3\,x+\sqrt{13}-\sqrt{2+3\,x}\sqrt{4+2\,\sqrt{13}} \right ) }-{\frac{4+2\,\sqrt{13}}{3\,\sqrt{-4+2\,\sqrt{13}}}\arctan \left ({\frac{1}{\sqrt{-4+2\,\sqrt{13}}} \left ( 2\,\sqrt{2+3\,x}-\sqrt{4+2\,\sqrt{13}} \right ) } \right ) }+{\frac{\sqrt{4+2\,\sqrt{13}}\sqrt{13}}{12}\ln \left ( 2+3\,x+\sqrt{13}-\sqrt{2+3\,x}\sqrt{4+2\,\sqrt{13}} \right ) }+{\frac{\sqrt{13} \left ( 4+2\,\sqrt{13} \right ) }{6\,\sqrt{-4+2\,\sqrt{13}}}\arctan \left ({\frac{1}{\sqrt{-4+2\,\sqrt{13}}} \left ( 2\,\sqrt{2+3\,x}-\sqrt{4+2\,\sqrt{13}} \right ) } \right ) }+{\frac{\sqrt{4+2\,\sqrt{13}}}{6}\ln \left ( 2+3\,x+\sqrt{13}+\sqrt{2+3\,x}\sqrt{4+2\,\sqrt{13}} \right ) }-{\frac{4+2\,\sqrt{13}}{3\,\sqrt{-4+2\,\sqrt{13}}}\arctan \left ({\frac{1}{\sqrt{-4+2\,\sqrt{13}}} \left ( 2\,\sqrt{2+3\,x}+\sqrt{4+2\,\sqrt{13}} \right ) } \right ) }-{\frac{\sqrt{4+2\,\sqrt{13}}\sqrt{13}}{12}\ln \left ( 2+3\,x+\sqrt{13}+\sqrt{2+3\,x}\sqrt{4+2\,\sqrt{13}} \right ) }+{\frac{\sqrt{13} \left ( 4+2\,\sqrt{13} \right ) }{6\,\sqrt{-4+2\,\sqrt{13}}}\arctan \left ({\frac{1}{\sqrt{-4+2\,\sqrt{13}}} \left ( 2\,\sqrt{2+3\,x}+\sqrt{4+2\,\sqrt{13}} \right ) } \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{3 \, x + 2}}{x^{2} + 1}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.62328, size = 990, normalized size = 4.63 \begin{align*} \frac{1}{156} \cdot 13^{\frac{1}{4}} \sqrt{4 \, \sqrt{13} + 26}{\left (2 \, \sqrt{13} - 13\right )} \log \left (\frac{1}{13} \cdot 13^{\frac{3}{4}} \sqrt{3 \, x + 2} \sqrt{4 \, \sqrt{13} + 26} + 3 \, x + \sqrt{13} + 2\right ) - \frac{1}{156} \cdot 13^{\frac{1}{4}} \sqrt{4 \, \sqrt{13} + 26}{\left (2 \, \sqrt{13} - 13\right )} \log \left (-\frac{1}{13} \cdot 13^{\frac{3}{4}} \sqrt{3 \, x + 2} \sqrt{4 \, \sqrt{13} + 26} + 3 \, x + \sqrt{13} + 2\right ) - \frac{1}{13} \cdot 13^{\frac{3}{4}} \sqrt{4 \, \sqrt{13} + 26} \arctan \left (-\frac{1}{39} \cdot 13^{\frac{3}{4}} \sqrt{3 \, x + 2} \sqrt{4 \, \sqrt{13} + 26} + \frac{1}{39} \cdot 13^{\frac{1}{4}} \sqrt{13^{\frac{3}{4}} \sqrt{3 \, x + 2} \sqrt{4 \, \sqrt{13} + 26} + 39 \, x + 13 \, \sqrt{13} + 26} \sqrt{4 \, \sqrt{13} + 26} - \frac{1}{3} \, \sqrt{13} - \frac{2}{3}\right ) - \frac{1}{13} \cdot 13^{\frac{3}{4}} \sqrt{4 \, \sqrt{13} + 26} \arctan \left (-\frac{1}{39} \cdot 13^{\frac{3}{4}} \sqrt{3 \, x + 2} \sqrt{4 \, \sqrt{13} + 26} + \frac{1}{39} \cdot 13^{\frac{1}{4}} \sqrt{-13^{\frac{3}{4}} \sqrt{3 \, x + 2} \sqrt{4 \, \sqrt{13} + 26} + 39 \, x + 13 \, \sqrt{13} + 26} \sqrt{4 \, \sqrt{13} + 26} + \frac{1}{3} \, \sqrt{13} + \frac{2}{3}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 3.08808, size = 32, normalized size = 0.15 \begin{align*} 6 \operatorname{RootSum}{\left (20736 t^{4} + 576 t^{2} + 13, \left ( t \mapsto t \log{\left (576 t^{3} + 8 t + \sqrt{3 x + 2} \right )} \right )\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sqrt{3 \, x + 2}}{x^{2} + 1}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]